#ifndef __KERNEL_H_
#define __KERNEL_H_

#include <asm/linkage.h>
#include <types.h>
#include <list.h>

#define DMEM_KERNEL_END 0x1EEEF000
#define DMEM_KERNEL_START 0x501000                          /*  1M + 4M + 4K   */
#define DMEM_USER_END 0x7EEEF000
#define DMEM_USER_START 0x1EEEF000

#define GPU_MEM (80*25*2)

char * pBootParam;
void system_dump(void);
void mem_info(void);
#endif
